Nuprl Definition : ge 11,40
ge(i; j) == j  i 
latex

Definitionsge(i; j), A  B
FDL editor aliasesge

origin